Alimentation et identité entre deux rives

Une comparaison entre deux méthodes de preuve de sécurité

In this paper, we compare two methods for security proofs a formal method, and the method by reduction from the complexity theory. A modification of the Otway-Rees protocol is proposed to show out a difference between the two methods : the exchanged key is provably secure in the sense of the BAN logic but it is not when we analyze it by reduction. The difference is due to a limitation of BAN lo...

rapports entre science et valeurs

-

Relation entre le pouvoir toxique et le pouvoir antigene des toxines diphterique et tetanique

Darwin et la socialit\'e : entre anthropomorphisme et gradualisme

We propose, in this article, an analysis of the Darwin’s approach to sociality. Sociality is perfectly integrated into the selective model, and is caused by the same process as struggle for existence. Thus, the selective process does not prohibit demonstrating cooperation, but on the contrary, explains it. We will see that the unification of sociality, in a more adequate representation to mamma...

Descripteurs directionnels d’enlacement et d’entrelacement entre objets

The analysis of spatial relationships between objects in images plays a crucial role in various application domains related to pattern recognition and computer vision. In this article, we adress the issue of describing complex spatial configurations, where objects can be imbricated in each other. We formalize this notion with two new spatial relations called the enlacement and interlacement. We...